signature ID =
sig
  type t
  
  val bogus : unit -> t
  val compare : t * t -> order
  val equals : t * t -> bool
  val exists : t list * t -> bool
  val fromString : string -> t
  val init : unit -> unit
  val new : unit -> t
  val newWithPrefix : string -> t
  val plist : t -> PropertyList.t
  val println : t -> unit
  val toString : t -> string
end
